support/scripts/sdcc_mingw32: adapted to configure from autoconf 2.54