Fixes #2244: avoid constantly changing os.release_name
Tests for ensuring that release_name is set to lsbdistcodename on Debian-based distros