On 27/11/2019 12:31, Michael Biebl wrote: > Is this a /usr-merged system, i.e. is /lib a symlink to /usr/lib and > /bin a symlink to /usr/bin? > No, it is not. In case it is relevant: it is a fairly old system that has been upgraded many times.