build.sh: Update the clone URL of envytools