additional repos for gcc-4.7 compatibility

Change-Id: I906bfd8033f4d4036982b8e3ec5c9eaf2cf4494a