Fix shell precedence in deploy.sh
