* fix compilation using GCC