bug#32866: cross-compiling grep and changing $PATH

[Paul Eggert]

Thanks for the patch; that was quick! It's short enough so that we 
needn't worry about copyright papers, so I installed it in your name 
into the master copy of Grep on savannah.gnu.org and am closing this bug 
report.