Added php-gettext support for servers without gettext