"It so happens that this file existed (it was still there!) even though I had already removed the package "nvidia-glx-new" that had been installed at first.
I deleted this file and now the driver version 9631 works and I believe that installing the deb package for nvidia-glx would work too."
"It so happens that this file existed (it was still there!) even though I had already removed the package "nvidia-glx-new" that had been installed at first.
I deleted this file and now the driver version 9631 works and I believe that installing the deb package for nvidia-glx would work too."
Thanks Capineiro. Your fix did the trick here.