Fix compilation on GCC 4.7