Fix compilation under GCC