Replace non-portable use of echo -ne with entirely lovely and
portable printf.