fix exception when there's no pharext_install.php