So, what about we include it in the Debian gnumach package for a while and see how it works out? You just have to find the patch first.