Attempt to fix broken travis config