STL maps never deallocate

[Benjamin Kosnik]

Indeed. Put this in stl_config.h to switch over to malloc-based allocation:

#   define __STL_USE_STD_ALLOCATORS 
#   define __USE_MALLOC // As the "underlying allocator"

This is the default config for libstdc++-v3.

-benjamin