fix broken travis