On Tue, Jun 25, 2013 at 7:52 AM, Helmut Hullen <Hullen at t-online.de> wrote: > I don't have the ia64 files which are needed for a complete binary. But > maybe that's only my special problem. IA64 is Itanium. I'd guess you mean x64/x86-64. I think it may also go under the label "IA32-64". -- -Gene