Replace "echo -e" with more portable "printf"

Closes #5