Hi jens,
I don't understand how that solves my problem. If I turn on all platforms, then one, and only one, executable is created, and that executable is a Linux executable, not a Windows executable. I thought the whole idea behind mingw32 was to create a Windows executable. So, none of the results I get make any sense.