add proper support for generating a video, with correspondingly more specific filenames and some profiling