Trying to fix our Travis CI setup.