I ran "sudo apt install libsdl2-*" and the sounds files are all in DL/bin/assets/sounds/. (a bunch of .ogg files)
If you're not able to reproduce the issue, then I guess I won't be able to fix it. It's unfortunate.
T ^ T <(Thanks for trying though.)