@bjori: This is the work-around previously mentioned in https://github.com/mongodb/mongo-php-driver/pull/613/files#r10494457.