Apparently v and glob files are installed now too.
Apparently v and glob files are installed now too.

Signed-off-by: Edward Z. Yang <dbd597f5635f432486c5d365e9bb585b3eaa1853@cs.stanford.edu>

ezyang/coq-packaging,ezyang/coq-packaging,ezyang/coq-packaging