mIRC uses Windows Media Player's routines to play music files which is why support for files is basically dependant on the user's machine. You might suggest the user re-install or update WMP to see if that fixes the issue.