gcc compilation fix