more adjustments to travis