Fix compilation on GCC 4.6.3