Re: configure: Detect and use tools executable extensions for makefiles. (try2)