Issue #37: cleaner way to get debian/ubuntu codename