Add support for HHVM in the getting of the PHP executable