Gcc compilation fix