and yet more travis fixing