Added files needed for Debian packages