Fix Travis CI build script.