modified travis CI file