mingw -> mingw32 rename and miscellanous related fixes.