install.sh: properly escape $Girocco in error messages