diff --git a/src/dumpmaster.pike b/src/dumpmaster.pike
index b0be71dac80f1e7fbdc4f570a37cf714c522bd2b..4bfe92f7239e3e5373ebc9a8f280d7a3027bec68 100644
--- a/src/dumpmaster.pike
+++ b/src/dumpmaster.pike
@@ -24,3 +24,6 @@ void _main(string *argv, string *env)
   _static_modules.files()->Fd(argv[-1] + ".o","wct")->write(s);
   exit(0);
 }
+
+
+mixed resolv() { return ([])[0]; }