[PD-dev] [ pure-data-Bugs-3094826 ] shell problem with 0.42.5 release