Do not require mongo_ext