travis: try to fix weirdness