Specify /bin/bash for the Makefile, as some distros may have other shells (eg, ubuntu image for docker has /bin/dash)