[boost] [C++11] If you have an old class with a throwing destructor...