[PD-dev] [ pure-data-Patches-1565141 ] --disable-fat ./configure option