added hhvm to php versions again