Changed echo for builtin shell function printf