fix verison.txt from that mongo ugly merge