adjustments to travis setup