Use TRAVIS_PHP_VERSION to detect HHVM