compilation issue with old mongo headers