Fix gcc compilation error