diff --git a/Source/OpenTK.Rewrite/Program.cs b/Source/OpenTK.Rewrite/Program.cs
index c45a5c14..2fd3ace0 100644
--- a/Source/OpenTK.Rewrite/Program.cs
+++ b/Source/OpenTK.Rewrite/Program.cs
@@ -324,6 +324,12 @@ namespace OpenTK.Rewrite
             // return
             il.Emit(OpCodes.Ret);
 
+            if (body.Variables.Count > 0)
+            {
+                // Required for verifiable executables
+                // (otherwise peverify complains bitterly)
+                body.InitLocals = true;
+            }
             body.OptimizeMacros();
         }