This one is much more specific to windows, but is there any problem in modifying the location of windows binaries ? I mean that everywhere else, some more precise denomination of the platform is used, and bin/win32 should really become bin/i586-pc-win32 . Any objections ? -- Fabrice