Johannes Schindelin <johannes.schindelin@xxxxxx> 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.