Compiling php with gettext