(* $Id: netmappings_min.ml 1003 2006-09-24 15:17:15Z gerd $ * ---------------------------------------------------------------------- * *) Netdb.disable_file_db();;