Fix unexpected code removal of install.php