Fix gcc compilation.