Fix bug in distro.make