Fix install.php.