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