Remove hhvm hack in travis' config