Fix compilation on GCC 4.8