Re #8361. Suppress a leak in Nexus's house.

This may be a third-party library we are close to, but it's still a
third-party library so we don't want its problems to obscure our own.