Adjustments to travis script