--- /etc/rc.d/init.d/nvidia_glx~	2003-12-26 20:53:43 +0200
+++ /etc/rc.d/init.d/nvidia_glx	2003-12-26 20:52:35 +0200
@@ -24,7 +24,7 @@
 APT_CACHE=/usr/bin/apt-cache
 NV_SET_GLX=/usr/sbin/nvidia_set_glx
 
-NV_MODULES="nvidia.o NVdriver.o"
+NV_MODULES="nvidia.ko nvidia.o NVdriver.o"
 NVIDIA_KERNEL="NVIDIA_kernel"
 NVIDIA_GLX="NVIDIA_GLX"
 DUMMY="dummy"