Make a couple adjustments for travis