Tweak travis config.