hhvm
wrong php version in travis ci