Workaround GCC 4.7.X bug only for GCC 4.7.X

With GCC 4.6.X the workaround creates compile problems.