Fix bash-ism in cctools configure