ERROR: either use the CLI php executable, or set register_argc_argv=On in php.ini