I guess this is still a bug, but at least the Godot CI is fixed now that it has been bumped to 4.x:
https://ci.debian.net/packages/g/godot/testing/amd64/63805789/#L116 Best, Travis
- Bug#1112095: recastnavigation: removes symbol without S... Sebastian Ramacher
- Bug#1112095: recastnavigation: removes symbol with... Travis Wrightsman
- Bug#1112095: recastnavigation: removes symbol with... Travis Wrightsman
