PHP4 extension for gettext support 