fix the build for manta on GCC 4.7

Change-Id: I6b3b1c1030f9541b24a139a2a5f84a71976485db