add Debian stuff