Modified the file of Travis-CI.