Hi all: Greg changed the V7_6_0 tag. So if you do 'git rev-parse V7_6_0' and get something starting with be1ecc you have the wrong tag. You need to do the following git tag -d V7_6_0 git fetch origin to get the correct tag. It should then be at eb220de Nathan Panike