* support/scripts/sdcc_mingw32: sync with sdcc-build