Replace echo with the more portable printf in the README