fix GlobalInstaller.php