use POSIX shell instead of Bash