--- /etc/init.d/pcmcia.orig     2003-04-11 09:47:31.000000000 +0100
+++ /etc/init.d/pcmcia  2003-04-11 09:48:06.000000000 +0100
@@ -104,9 +104,9 @@
            KD=/lib/modules/`uname -r`/kernel/drivers/pcmcia
            if [ -d $PC ] ; then
                echo -n " modules"
-               /sbin/modprobe pcmcia_core.o $CORE_OPTS
-               /sbin/modprobe $PCIC.o $PCIC_OPTS
-               /sbin/modprobe ds.o
+               /sbin/modprobe pcmcia_core $CORE_OPTS
+               /sbin/modprobe $PCIC $PCIC_OPTS
+               /sbin/modprobe ds
            elif [ -d $KD ] ; then
                /sbin/modprobe pcmcia_core
                /sbin/modprobe $PCIC