Install script: improve local repository detection
Merge branch 'release/0.1.3'