Some $*DISTRO.release related tweaks