MongoDB command line tools, no longer included with the official
MongoDB distribution tarball (since 3.0).
