Re: [PD-dev] [ pure-data-Bugs-3052690 ] new build system does not build 'extra' files in place