tweak travis for speed