more Travis tweaking