bugfix on gettext useless for util.pl