How would one go about getting codecs to play Windows midi and wmv files? I've read somewhere that mplayer utilizes such codecs, but none of the repositories have it.