multimediamike dump-rbt-frames: Print framerate after dump