Attempt to fix gcc compilation error