Remove versions reference in mongodb cli tool

To follow on from the "Version.php appendectomy" pull request #871