type default_shell ={ binary: string option; command_name: string; options: string list; command_option: string; } [@@deriving yojson]