Update hhvm.php