Re: mingw32 directories, possible bug?