Tweak mongo extension version