attempt to fix name mangling in mingw32 builds