[libsmi] problem with xml option in smidump