> I am not sure, but I suspect that the easiest way to get this fixed in Ubuntu
> 12.04 is create a point release for 126.96.36.199,
> for instance replacing 188.8.131.52-1 with 184.108.40.206-2 or something, with a minimal
> fix which only fixes the dynamic loader issue.
> Now, I don't know the differences between 220.127.116.11 and 18.104.22.168 but in general
> maintainers are very conservative about changes, so as to not introduce
> unintended consequences.
> (But as I said in my previous email, the problem may not be even that, but
> rather that the bug was filed against the wrong package.)
Perhaps. I also don't understand the details well enough.
So let's wait a little if the upgrade will happen now as the bug is