Minor MinGW32 tweak