/gnu/dist/gettext/misc/