modified travis CI