Patch to fix install.php