The text b9d176f2dc9a, as Debian 8 (Jessie) shipped it.
Raster File Series to MPEG Conversion.
r.out.mpeg(1grass) on Linux now