let db_dtd_file      = Filename.concat dtd_dir "db.dtd"