-let servers_file = lazy (Helm_registry.get "getter.servers_file")
-let cic_dbm = lazy (Helm_registry.get "getter.cic_dbm")
-let nuprl_dbm = lazy (Helm_registry.get "getter.nuprl_dbm")
-let rdf_dbm = lazy (Helm_registry.get "getter.rdf_dbm")
-let xsl_dbm = lazy (Helm_registry.get "getter.xsl_dbm")
-let xml_index = lazy (Helm_registry.get "getter.xml_indexname")
-let rdf_index = lazy (Helm_registry.get "getter.rdf_indexname")
-let xsl_index = lazy (Helm_registry.get "getter.xsl_indexname")
-let cic_dir = lazy (Helm_registry.get "getter.cic_dir")
-let nuprl_dir = lazy (Helm_registry.get "getter.nuprl_dir")
-let rdf_dir = lazy (Helm_registry.get "getter.rdf_dir")
+let servers_file = lazy (
+ Helm_registry.get_opt Helm_registry.get "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.get "index.txt"
+ "getter.xml_indexname")
+let rdf_index = lazy (
+ Helm_registry.get_opt_default Helm_registry.get "rdf_index.txt"
+ "getter.rdf_indexname")
+let xsl_index = lazy (
+ Helm_registry.get_opt_default Helm_registry.get "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")