install.php was removed accidentally