Fix some Travis CI specific stuff.