Modify travis file.