I wonder if he even has the proprietary driver installed using the package manager of his distro and has chosen the right packages for cuda and vulcan or if he just manually installed the proprietary driver via deb file and has still the nouveau/reverse engineered version of cuda and vulcan installed 🤔