fixes to install.php