fixing travis config (1)