One more thing: is it necessary to have a separate _TOOLS_OVERRIDE.${_tool_}, or could rather _TOOLS_REPLACE.${_tool_} serve that purpose (by finally setting it to YES as well if the respective GNU tool is needed)? -- Georg Schwarz http://home.pages.de/~schwarz/ georg.schwarz@freenet.de +49 178 8545053