try to fix broken travis ci