[PD-dev] [ pure-data-Bugs-3012738 ] make clean is really slow