One more travis tweak