corrected git fetch command in build.sh.
Merge branch 'v5-stable' into v7-stable
Merge branch 'v7-stable' into v7-devel
Merge branch 'v7-devel'