I attach this patch I used more than 20 years ago.

I thought I had sent it in these years but apparently not.