Use pragma no_simul_efuns in simul_efun

The simul_efun object should not use sefuns itself.

Change-Id: I2b5137b23533107c03e48494fe4542cd1e10fe51
diff --git a/secure/master.c b/secure/master.c
index 3fc0c80..db9f55a 100644
--- a/secure/master.c
+++ b/secure/master.c
@@ -811,7 +811,8 @@
       return 1;
 
     case "nomask simul_efun":
-      // <who> ist in diesem Fall ein string (Filename) und damit von dem
+    case "pragma no_simul_efuns":
+      // <who> ist in diesem Fall ein string (Programmname) und damit von dem
       // Check da oben nicht abgedeckt. Daher explizite Behandlung hier.
       // Ausserdem hat der Pfad (zur Zeit noch) keinen fuehrenden '/'.
       // Falls das jemand einschraenken will: der Kram fuer die simul_efuns