Fix Travis CI setup.