Oops. Spoke too soon. I forgot to undo the moving of `/usr/local/bin` and `/usr/local/lib`.
My script does not solve the problem :( Sorry for the noise ... sigh ...
Oops. Spoke too soon. I forgot to undo the moving of `/usr/local/bin` and `/usr/local/lib`.
My script does not solve the problem :( Sorry for the noise ... sigh ...