0.018: using get_collection() to comply with newer MongoDB module, starting with sync.pl (not yet working)