Diff mongo-tools-4.2.15-r1 with a mongo-tools-4.2.17-r1

Thank you!