Correct Travis CI builds