some more travis tuning

(cherry picked from commit 1579a587fd0db240adc0ad5e276ff593578ffbc7)