fix broken travis config