fix official distro names