mingw not the default...