Modify travis ci file