Use printf instead of echo -e (which is a bashism)