Re: bug package vc 1.17, function vc-directory