Don't actually use travis

The Travis CI VM is too outdated to build the code properly