BUILD/SETUP.sh: BUG #13511, wrong patch pushed, fixing.
Attach a file by drag & drop or click to upload
