Explicitly pass --php to HHVM