diffcol.sh: Use /bin/bash explicitly