Use gcc 4.7 also here

Change-Id: Ie468ebfbd4f0c980c6001b70a54a85848ff6b745