It was a bug in the argp package (or how it's used by xentools420). I've changed argp to provide a shared library again, and gdt reported that this fixed the problem for him. Thomas