Workround for Segmentation fault in gcc 4.7-2013.08

Change-Id: Ie32ec84147dbf11bf7e19fa5327906982199908b