Fixing travis config