I have a server running ubuntu 9.10 that I want to push media out to my PS3 over the network. MediaTomb is barely supported and Twonky Media Server doesn't support mkv files. Anyone have a suggestion for something that could get the job done? MythTV looked like a good option, but is not exactly the option I was looking for, as it is very bloated for the simple job I need. TIA.