See https://github.com/mongodb/mongo-php-driver/pull/282#r2762144.