More travis fixes...