SERVER-9518 Include necessary header in hash_namespace.h