This allows anyone using binary-seed to select whether to run makefiles with bash or dash. sh remains bash.