avoiding Bash-ism