Use the more portable /bin/sh