Fix Travis CI build setup