in a few places -- so it can be set to .exe on GNUWIN32 platforms and
do the right thing.  Whatever.  (This was already done in
Modules/Makefile* but wasn't carried over here.)