Corrected git pull in build.sh
Merge branch 'v5-stable' into v7-stable
Merge branch 'v7-stable' into v7-devel
Merge branch 'v7-devel'