-let servers_file = lazy (
- Helm_registry.get_opt Helm_registry.string "getter.servers_file")
-let cic_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/cic_db")
-let cic_dbm_real = lazy (Helm_registry.get "getter.maps_dir" ^ "/cic_db.pag")
-let nuprl_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/nuprl_db")
-let rdf_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/rdf_db")
-let xsl_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/xsl_db")
-let dump_file = lazy (Helm_registry.get "getter.maps_dir" ^
- "/cic_db_tree.dump")
-let prefetch = lazy (Helm_registry.get_bool "getter.prefetch")
-let xml_index = lazy (
- Helm_registry.get_opt_default Helm_registry.string ~default:"index.txt"
- "getter.xml_indexname")
-let rdf_index = lazy (
- Helm_registry.get_opt_default Helm_registry.string ~default:"rdf_index.txt"
- "getter.rdf_indexname")
-let xsl_index = lazy (
- Helm_registry.get_opt_default Helm_registry.string ~default:"xslt_index.txt"
- "getter.xsl_indexname")
-let cic_dir = lazy (Helm_registry.get "getter.cache_dir" ^ "/cic")
-let nuprl_dir = lazy (Helm_registry.get "getter.cache_dir" ^ "/nuprl")
-let rdf_dir = lazy (Helm_registry.get "getter.cache_dir" ^ "/rdf")
-let dtd_dir = lazy (Helm_registry.get "getter.dtd_dir")
-let dtd_base_urls = lazy (
+let prefix_RE = Pcre.regexp "^\\s*([^\\s]+)\\s+([^\\s]+)\\s*$"
+
+let cache_dir = lazy (normalize_dir (Helm_registry.get "getter.cache_dir"))
+let dtd_dir = lazy (normalize_dir (Helm_registry.get "getter.dtd_dir"))
+let dtd_base_urls = lazy (