php-php-gettext fixing