Fixing gcc compilation problem