Nvidia binary driver for Linux has the annoying habit of overwriting OpenGL libraries. However, the nvidia-versions are incompatible with the open source ones.

Unfortunately while the nouveau driver is ok for most things, occasionally I run into applications where there are rendering errors, for example in dolphin. So the proprietary driver has to be used.

However since the installation is not possible in parallel by default, a simple reboot is not enough. To solve this problem, we devise a script that gets run at boot and moves the proper libraries into place or out of it.