Adding 9001 error code, as we got hit by https://jira.mongodb.org/browse/SERVER-7008.