Hi, debian-installer/tools: kdetect and selectdevice have debian/files, and selectdevice has a postrm.debhelper. regards, guillem