Unbreak compilation (in metaSMT configuration) by preventing the #define
unordered_map and unordered_set from leaking out into other compilation
units. This should be removed entirely when C++11 support lands.