Tweak Travis CI setup