use latest dev version of jgettext