Fix php fatal error with gettext