Spare sefuns aktualisiert.

Change-Id: I7abad88e229a0d5ce36106c661804f9fe73e9c16
diff --git a/secure/simul_efun/spare/simul_efun.c b/secure/simul_efun/spare/simul_efun.c
index 26e65d4..04a312b 100644
--- a/secure/simul_efun/spare/simul_efun.c
+++ b/secure/simul_efun/spare/simul_efun.c
@@ -925,6 +925,10 @@
     if (name[0]!='/')
       name = "/" + name;
 
+    // .c am Ende loeschen, sonst wird das File ggf. nicht gefunden.
+    if(name[<2..]==".c")
+      name=name[..<3];
+
     // wenn kein /data/ vorn steht, erstmal gucken, ob das Savefile unter
     // /data/ existiert. Wenn ja, wird das geladen.
     if (strstr(name,"/"LIBDATADIR"/") != 0)