Removing hard-coded Debian release