Johannes Schindelin [off-list ref] writes:
Executable files in Windows need to have the extension '.exe', otherwise
they do not work. Extend the hooks to not just look at the hard coded
names, but also at the names extended by the custom STRIP_EXTENSION,
which is defined as '.exe' in Windows.
Will replace, and looks good enough for 'next'. Let's stop
iterating and go incremental if/as needed.
Thanks.