fetchdeps.sh uses bash instead of sh.