I don’t know what those are, but I’ll look them up.
The linux dependency thing was “Freedom Planet” , an indie retro sonic clone. Trying to use the linux version through GOG, it took me several minutes to figure out and manually install dependencies (which will remain if I remove the game) and even then I couldn’t get sound working.
I shoved the windows binary into steam/proton and it worked like a charm
Thanks for the tip!