Fix build under GCC 4.6