Tweak travis configuration