Workaround for a compilation issue with mingw.