diff --git a/debian/patches/script_check_no_commands.patch b/debian/patches/script_check_no_commands.patch
index 789ce8337..1ecca2d86 100644
--- a/debian/patches/script_check_no_commands.patch
+++ b/debian/patches/script_check_no_commands.patch
@@ -5,7 +5,7 @@ Origin: backport, http://bazaar.launchpad.net/~vcs-imports/grub/grub2-bzr/revisi
 Author: Colin Watson <cjwatson@debian.org>
 Bug-Debian: http://bugs.debian.org/713886
 Forwarded: not-needed
-Last-Update: 2013-06-25
+Last-Update: 2013-07-13
 
 Index: b/Makefile.util.def
 ===================================================================
@@ -79,7 +79,7 @@ Index: b/util/grub-script-check.c
 +  if (! found_cmd)
 +    {
 +      fprintf (stderr, _("Script contains no commands and will do nothing\n"),
-+	       ctx.arguments.filename);
++	       arguments.filename);
 +      return 1;
 +    }
  
diff --git a/util/grub-script-check.c b/util/grub-script-check.c
index 12aa96148..77b31c75f 100644
--- a/util/grub-script-check.c
+++ b/util/grub-script-check.c
@@ -196,7 +196,7 @@ main (int argc, char *argv[])
   if (! found_cmd)
     {
       fprintf (stderr, _("Script contains no commands and will do nothing\n"),
-	       ctx.arguments.filename);
+	       arguments.filename);
       return 1;
     }