Use correct PHP executable.