Fix compilation error that occurs on GCC 4.7