fix to compile on GCC