Should I keep that session open, or still try to downgrade libc (though
I don't think I can have multiple versions of it installed here, I'm
afraid).


Regards,

Michael.