A few updates for Travis CI.