Fix install.php