diff -r old/config new/config
346a347,349
>     MSYS*)
> 	echo "${MACHINE}-whatever-mingw"; exit 0;
> 	;;