Actually I managed to do it using ffmpeg. If you don't want to export them yourself, I can send you the files.
