Use older revision of gcc4.7