Update
------

This patch is incorporated into the official version. 
So this is now purely archival material