fix travis ci config