Fix Travis CI build