install files needed for debian-package target