I think it's more likely to be a problem with the audio file itself, and the pcmplay program not failing gracefully when it hits a filetype it can't play.

He should try getting the file to play by entering the command "live" at the shell prompt and make sure it works that way, before locking up his player with more config.ini editing...