Fix compilation errors under GCC