I'll rebase this out when https://github.com/mongodb/mongo-php-driver/pull/584 is merged, otherwise jenkins will fail in the meanwhile, so please look at it :)