Fix up travis config