more travis tweaking