I don't know about that converter, I've been using
this free one and have been well impressed with how easy and fast it is. It takes away all the complex options of video conversion and just asks you what video bit rate, audio bit rate, and frame rate you want. It can convert to/from wmv, avi, mp4. It can convert in batch mode too. It's a really simple app and doesn't look much, but if you're only converting and not trying to do anything fancy it's the best one I've tried.