Use printf rather than trying to handle `echo -e' exceptions.