More adjustments to travis settings