2 things to consider/try
* disable prelinking ( edit /etc/sysconfig/prelink to include
PRELINKING=no), and re-run, /etc/cron.daily/prelink
This works. Thanks. Any disadvantage keeping that to "no" for a long time?
* is nvidia binary driver involved?
Yes I use the nvidia driver (akmod-nvidia). If I were alone, I would
use nouveau but my children find it really too slow to play minecraft!
Thanks a lot for your help.