Add hhvm to php version