On Thu, 2017-04-20 at 17:02 +0200, Ulf Hermann wrote: > Otherwise the build will fail on systems that actually need file > extension for executables.
Thanks, pushed to master. We seem to add it in other cases. Surprising this seems to be the only case that got forgotten. I would have expected more issues. Cheers, Mark