There is one copy at http://people.debian.org/~mbanck/gnumach-nic-update.diff.gz I'm not 100% sure whether this is the most recent version though. It is, only one version was ever made.