fixed config.w32
almost trivial fixes to get it worky on windows