removed hhvm from php versions