Eu nunca tentei pdf2xml, mas navegando através de seus arquivos no SourceForge, eu encontrei vec2svg-2.py , que parece ser um script Python para converter arquivos .vec para .svg. Você não deve ter dificuldade em converter SVG para o formato que precisar.
python vec2svg-2.py -i file.vec -o file.svg