Fixed in https://github.com/mongodb/mongo-php-driver/pull/653