Same comment as https://github.com/mongodb/mongo-php-driver/pull/581/files#r9392962.