The text 485b7cd2d5a8, as Debian 7 (Wheezy) shipped it.
Converts a raster map into a vector map layer.
r.to.vect(1grass) on Linux now