Fix for bash-ism that breaks cctools-809 under dash