[Bug 356181] gnome-commander "Settings/Edit Mime Types" returns "/bin/bash: gnome-file-types-properties: command not found"