Issue #12: fix for temporary "git checkout" in build.sh