don't depend on bash, our script is POSIX anyway