mingw32: The flag to work around bug 37216 in gcc is automatically passed to