HHVM or PHP, but not both