No need for php -c since we set PHPRC.