Update PHP.php

Check for a PHP_BINARY environment variable before using the pre-defined constant.