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