debian/* updated to actual Debian release variants