So _that's_ why mkfiles.pl was running so slowly on my Windows box!