fix compilation on gcc 4.2