Index: src/skins/uvm/init.c
===================================================================
--- src/skins/uvm/init.c	(Revision 304)
+++ src/skins/uvm/init.c	(Arbeitskopie)
@@ -56,7 +56,7 @@
 	case -ESRCH:
 
 	    fprintf(stderr,"Xenomai: UVM skin or CONFIG_XENO_OPT_PERVASIVE disabled.\n");
-	    fprintf(stderr,"(modprobe xeno_uvm.ko?)\n");
+	    fprintf(stderr,"(modprobe xeno_uvm?)\n");
 	    exit(1);
 
 	default:
Index: src/skins/rtai/init.c
===================================================================
--- src/skins/rtai/init.c	(Revision 304)
+++ src/skins/rtai/init.c	(Arbeitskopie)
@@ -53,7 +53,7 @@
 	case -ESRCH:
 
 	    fprintf(stderr,"Xenomai: RTAI skin or CONFIG_XENO_OPT_PERVASIVE disabled.\n");
-	    fprintf(stderr,"(modprobe xeno_rtai.ko?)\n");
+	    fprintf(stderr,"(modprobe xeno_rtai?)\n");
 	    exit(1);
 
 	default:
Index: src/skins/posix/init.c
===================================================================
--- src/skins/posix/init.c	(Revision 304)
+++ src/skins/posix/init.c	(Arbeitskopie)
@@ -59,7 +59,7 @@
 	case -ESRCH:
 
 	    fprintf(stderr,"Xenomai: POSIX skin or CONFIG_XENO_OPT_PERVASIVE disabled.\n");
-	    fprintf(stderr,"(modprobe xeno_posix.ko?)\n");
+	    fprintf(stderr,"(modprobe xeno_posix?)\n");
 	    exit(1);
 
 	default:
Index: src/skins/native/init.c
===================================================================
--- src/skins/native/init.c	(Revision 304)
+++ src/skins/native/init.c	(Arbeitskopie)
@@ -65,7 +65,7 @@
 	case -ESRCH:
 
 	    fprintf(stderr,"Xenomai: native skin or CONFIG_XENO_OPT_PERVASIVE disabled.\n");
-	    fprintf(stderr,"(modprobe xeno_native.ko?)\n");
+	    fprintf(stderr,"(modprobe xeno_native?)\n");
 	    exit(1);
 
 	default: