On Wed, 10 Sep 2014, Andrew Haley wrote: > You should just do what Debian do, and symlink lib and lib64. That's probably the simplest solution in this case, but note that Debian does not do that. I have 4 distinct directories /lib, /lib64, /usr/lib and /usr/lib64 here (the last one is almost empty) and no /usr/local/lib64. -- Marc Glisse