fix SetEnv.sh for the deploy jobs to run correctly

DO NOT REMOVE THIS BOXED MESSAGE

Code in this merge request is subject to review by Code Owners.
The list of reviewers is posted in the comments section.
After all of the code is approved, please put a brief notice about it at the beginning of this message.

NOTE: Merging this code without getting it approved by Code Owners will result in suspending your developer rights!!!

This needs not to be approved, as it is part of !297 (merged) for deploy jobs to run correctly.
Added after consulting with @nifuki, code fix taken from BMN