added missing include directive needed for type std::bad_cast