Move HHVM hack to tools/class-main.php