Yes, we need the file extensions because we support WAV since #/3383. I just forgot the `.aud` extensions (should be fixed now). There are no variations because soviet vs allied death sounds are identical.