added hhvm as additional PHP executor