Adjustments for travis