> Would you mind checking that it is present in the original diff and, if so, 
> repost the patch gzipped?

Here it is.

Paolo