modified travis ci config