boost::exception perplexingly does not inherit from std::exception. As such we should catch it explicitly in our terminate handler so we can log as much useful debugging information as possible.