Fixing travis files