Change echo to printf for portability.