Bugfix: Add missing header for std::shared_ptr.