Is there a free tool that works under Linux that will do the conversion? Plex media server can't play MPEG2 files, but MPEG2 is what my Hauppauge USB2 device produces.