I have two desktops. Both run the latest version of the NVIDIA drivers. But on one machine, whenever there is a header update, I have to do <Ctrl><Alt><F1>,...