[Fenet] Workaround gcc 4.7.{0,1,2} bug.