rem: void set_default_midi_device(const string& name) { default_midi_device_rep = name; }
add: void set_default_midi_device(const std::string& name) { default_midi_device_rep = name; }
context:   void set_default_midi_device(const string& name) { default_midi_device_rep = name; }