installer.php now supports proper command line args, including specifying php path