Refactor/php hhvm

cc @rwos Can you test this?