New header fix for gcc 4.7 build.
New header fix for gcc 4.7 build.

Change-Id: I09b49368c19d3bfb3a81d8e23b0dacf596d3bda7

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst