fix compilation on gcc