makefiles: call GNU /bin/echo directly instead