destructors are implicitly declared noexcept in C++11 !