[boost] [serialization] VC7.1 STL facet deletion bug when overloading operators new/delete