Minor travis fixes