Modify travis configuration