let dtd_dir        = "/usr/share/cameleon/dtds"