Как конвертировать файлы .dem в .avi (.mp4; .mkv)

Фрапсом не пытаюсь писать, т. к. кое-где поговаривают, что "записывал свой ace 2 гб заняло хотя весь movie 45 сек"

Особо остроумным поясняю, что гуглояндекс ничего нужного не выдал.

Заранее спасибо за адекватную помощь