* fix compilation issue on gcc