[PD-dev] [ pure-data-Bugs-3597384 ] ext13 library help patch errors