Debian package manager -- local hacks