fix travis CI file