The text 917173f867eb, as Debian 7 (Wheezy) shipped it.
Raster File Series to MPEG Conversion.
r.out.mpeg(1grass) on Linux now
