use toolchain 4.7 by default

.

 Changes to be committed:
	modified:   envsetup.sh