I actually have not seen this problem on Garnet yet.  But the Makefile can be smart enough to write this line into the installed launcher only on Garnet if the detection earlier is working.  See my bin/proteus_env.sh script.