[PD-dev] [ pure-data-Bugs-1767751 ] shell portability fixes for configure.in