Tweak the travis build settings