Modify travis files