[Boost-users] unordered_map: user object as key