Fixes a compilation problem on GCC.