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