Merge pull request #4154 from JosJuice/gettextize-pipe gettextize: Pipe list of file names to xgettext