Member walleye doesn't like this, since there is a separate .stdout filefor MinGW32. Will fix.
-- John NaylorEDB: http://www.enterprisedb.com