> Thanks, this is indeed very helpful > for mingw32 or djgpp target. OK - for the record, I've now tested the patch, and written some doco for it (just sent an RFA and waiting for approval). If all goes well, this should be in fairly shortly. -- Joel