Add php hhvm to tested version