Fix compilation error on gcc 4.2