> Do you have 32 bits libs also installed? Yes, on 64bits platforms, the 32bits libs are also installed (in /usr/lib). Anyway, thanks for your effort, the issue comes from the arts-devel package, as I understand, and Matthias may already have encountered (and fixed!) that problem. Denis