some fixes for use-mingw32