diff --git a/src/dumpmaster.pike b/src/dumpmaster.pike
index 30f6085d25da12f3075cf61879bee9bcb6c4565f..97f0b651a1fce2d4df5dcb0bd6e730223212f35d 100644
--- a/src/dumpmaster.pike
+++ b/src/dumpmaster.pike
@@ -61,12 +61,9 @@ class Codec
   string nameof(mixed x)
   {
     if(mixed tmp=search(all_constants(),x))  return tmp;
-    switch(x)
-    {
-#define CONST(X) case X: return #X
-      CONST(_static_modules._Stdio.Stat);
-      CONST(_static_modules.Builtin.__backend);
-    }
+#define CONST(X) if (x == X) return #X
+    CONST(_static_modules._Stdio.Stat);
+    CONST(_static_modules.Builtin.__backend);
     encoded+=({x});
     return UNDEFINED;
   }