The text b7a472d70dfc, as Debian 8 (Jessie) shipped it.
Converts a raster map into a vector map.
r.to.vect(1grass) on Linux now
