Comment 7 for bug 446842

I tested this on Ubuntu 9.10 and found that the patch has no effect whatsoever - make or make install do not create or modify any files. So I committed the patch, since the bug is really annoying on WIndows. The fix is hacky but seems harmless; if anyone can suggest anything better you're welcome.