Tweak travis build configuration