fix debian release version
Merge pull request #3999 from sergevanginderachter/debversion

fix debian release version