Yeah. They were wav files when they were in the game as well.
As I said, the filenames and the extensions are identical down to the capitalisation.
I noticed the vanilla Soldat sounds are 22khz, so I used Audacity to make the sounds have that sampling frequency, but they still don't play.