Fix compilation error with gcc 4.6.3