fixed broken travis config