databases/mongodb-tools: update to 100.12.2

Changes:
https://github.com/mongodb/mongo-tools/blob/master/CHANGELOG.md#100122

• remove a conflict with a port that is long gone.