Make build scripts compatible with dash on Ubuntu.