I'll be able to revert this as [this patch](https://github.com/rhinosaur665/hhvm/pull/1/files) get merged into [facebook/hhvm@master](https://github.com/facebook/hhvm)