add hhvm to php versions