Fix Travis CI build file.