freedesktop.org mime info /usr/bin/update-mime-database /usr/share/mime 2>/dev/null