PhpExecutable: do not process php.ini when detecting PHP version