[minor] more travis tweaks