Fix Travis CI build script