fix compilation on GCC