another gcc 4.8 patch

Change-Id: I403112e66d4c43c1cd3c83c35fcf34bfc64f37ed