> A recent change to libstdc++ results in the following stderr > output for a target of x86_64-pc-mingw32: known issue, see recent messages to this list. If you want, you can test the draft patch I posted in the last message of mine (goes in gcc/cp, to be clear). So far works fine for me. Paolo.