What's the reason for TOOLS_PLATFORM.printf not to use the shell builtin? I guess the answer must be along the lines of "/bin/xyzsh doesn't have printf" or "/bin/uvwsh's printf is broken"?