fix bash PATH caching issue
Merge branch 'master' into dimelo