fix weirdness in travis.yml