Fix Travis CI builds