Я не нашел ни какой информации о форматах графических файлов, используемых на вашей платформе, поэтому экспорт только в bmp/png/gif. Если будут предложения по выходному формату - пишите.
Сохранять в формате битмапа экрана наверное будет одной из полезных опций.