fix compile bug with xml2succinct