Answering my own question. Problem was caused by libraries under
/usr/local/lib. I resolved it this way:
roger@homepc2:~$ sudo -i
root@homepc2:~# cd /usr/local/
root@homepc2:/usr/local# tar zcf lib.tar.gz lib/
root@homepc2:/usr/local# rm -fr lib/
root@homepc2:~# ldconfig
root@homepc2:~# logout
roge
I can't start gnuradio
$ gnuradio-companion
/usr/bin/python3: Relink `/lib/x86_64-linux-gnu/libmount.so.1' with
`/lib/x86_64-linux-gnu/librt.so.1' for IFUNC symbol `clock_gettime'
Segmentation fault (core dumped)
I installed it like this:
sudo add-apt-repository ppa:gnuradio/gnuradio-releases
sudo