Use printf rather than echo -e in update.sh

update.sh is an "sh" script, not a zsh or bash script. On platforms
which have real sh, echo does not have the -e option.