Re: [libvirt] [PATCHv2] build: use shorter file names for 'make dist'