CGE2: Hopefully fix compilation for GCC