dotfiles: use printf