I'm seeing similar symptoms, but their root cause turned out to be kernel bug #568416 (with 32-bit binaries generally failing to run on 64-bit kernels); Andrew, could that explain your report too?
-- Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org) Finger a...@monk.mit.edu (NOT a valid e-mail address) for more info. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
