object
  method home_directory : string -> string
  method path_encoding : Netconversion.encoding option
end