travis: suggested by @jbtule changes