[PascLeRasc]

I've had massive problems with my Nvidia gpu using anything but the open-source driver. I'm not sure how much performance I'm losing but it's worth not spending hours debugging.