How to export a Supademo as MP4/GIF