Я не могу избавиться от Dolphin и выбрать Nautilus в качестве файлового менеджера по умолчанию

Я использую Ubuntu 17.10 с gnome по умолчанию. По какой-то причине Dolphin стал моим файловым менеджером по умолчанию, и я не могу переключиться обратно на Nautilus. Я проверил все вхождения mimeapps.list, и все они настроены на использование Nautilus. Что я, возможно, упускаю?

$ locate mimeapps.list
/home/memo/.config/mimeapps.list
/home/memo/.local/share/applications/mimeapps.list
/snap/core/3440/usr/share/applications/mimeapps.list
/snap/core/3604/usr/share/applications/mimeapps.list
/snap/core/3748/usr/share/applications/mimeapps.list
/usr/share/applications/mimeapps.list

Все это включает в себя наутилус

$ for f in `locate mimeapps.list`; do grep -i nautilus $f; done
inode/directory=nautilus.desktop
application/x-gnome-saved-search=nautilus.desktop
inode/directory=nautilus-folder-handler.desktop;
inode/directory=nautilus.desktop
application/x-gnome-saved-search=nautilus.desktop

И нигде не упоминается о дельфинах

$ for f in `locate mimeapps.list`; do grep -i dolphin $f; done
<blank>

Есть идеи? Спасибо!