fix broken travis script