sig
  exception No_dir
  val dir : ?error:bool -> unit -> string
  val file : ?error:bool -> string -> string
end