Oh that's strange. In this case the test is successful (see video?.log
hashes) but the .mp4 differ. So there's also a reproducibility issue
with ffmpeg :/
I think I'll rewrite the test so that it compares the .ppm dumps of the
images, and maybe drop encoding.