yet more travis fixing