Modify Travis file