mongodb/make_invert_index_for_key_point.js: override ObjectId.prototype.toString