Fix debian_version