modify re2c manual