[gambit-list] FFI/c-define-type is fine with the C++ std::shared_ptr RAII type?