builtin echo fix