Cleaner get_name() in distro.js