Patches to mongo-tools, for builds at releases for many platforms - View it on GitHub