set default debian release