[GiNaC-list] Re: spurious "," in flags.hpp