Oops, sorry for this. I just had a little distro-confusion. I'll close the bug as soon as I figure out how / whether I can do that.