libstdcxx's c++11 support for unordered sets and maps confined only to t...

...he scope of KLEE (metaSMT's boost implementation does not support that)