If there are multiple ROOT versions available, the script "thisroot.sh" fails to execute for the second time (crashing Cygwin's "mintty")