Fix Travis CI setup