AVI файлы без timestamp-ов

Попался тут у знакомого новенький смарт-телевизор, который не играет
многие AVI файлы. Не смотря на заявления в документации что он не
поддерживает DivX -- не нашлось ни одного "DX50" файла который бы он не
проиграл. Но проблема, судя по всему, оказалось в том, что если видео
было закодировано без PTS timestamp-ов, то играть не будет. Просто так
преобразовать в Matroska тоже не выйдет: FFmpeg ругается тоже на
невозможность засунуть этот видеопоток без timestamp-ов. Решилось
добавлением опции: -fflags +genpts