[PD-dev] [ pure-data-Patches-1767751 ] BUG: shell portability fixes for configure.in