[libsmi] Where can I get "smi.dtd"