Ubuntu package system only knows shared-mim-info.

cf PR #120.