Use printf instead of echo (plushu/plushu#22)