Make HHVM the default PHP interpreter