0013250: setup.php --install should only install available apps on demand