change mongodb.py for all_platforms