tweak travis settings