In article <f06240801c2f9d5d543b6@[130.83.118.66]> Hauke wrote: : Looking closer, it seems that pkgsrc doesn't provide ${TOOLS_ECHO} : with a path, unlike for other tools. [...] : What is the reason for echo's special role here? echo calls the shell builtin, /bin/echo does not. echo is therefore faster. yours, dillo