make gcc 3.7.2 compileable

Change-Id: I5e4f4a1c98a1329c5e564573a5784229ce8a0141