Fix gcc compilation