travis tweaks...