Существуют ли какие-либо утилиты командной строки (кроме swfrender, который, кажется, в настоящее время не работает для вывода с большим разрешением), который позволил бы мне конвертировать файлы .swf в растровые изображения (предпочтительно файлы .jpg) с заданным разрешением?