... should have explicitely added that changes to the mingw32 configure and mingw-specific config files are of course more than welcome: as soon as you are happy with a set of tweaks, just let the v3 people know! Paolo.