Improve local repository detection using grep

Installation with curl and bash use the version from develop branch
Merge branch 'release/0.1.4'