maybe fix gcc compilation error