Missing exception_ptr header