Fix unintentional bash-specificity in Makefile. (Patch from Colin