diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index a62b39c090..dd0179ee05 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -1985,7 +1985,7 @@ button_press_event(GtkWidget *widget,
 		   GdkEventButton *event,
 		   gpointer data UNUSED)
 {
-    int button = 0;  // silence gcc
+    int button;
     int repeated_click = FALSE;
     int x, y;
     int_u vim_modifiers;
@@ -2056,7 +2056,7 @@ scroll_event(GtkWidget *widget,
 	     GdkEventScroll *event,
 	     gpointer data UNUSED)
 {
-    int	    button;
+    int	    button = 0;  // silence gcc
     int_u   vim_modifiers;
 #if GTK_CHECK_VERSION(3,4,0)
     static double  acc_x, acc_y;
diff --git a/src/version.c b/src/version.c
index d12d4e1083..c866d09386 100644
--- a/src/version.c
+++ b/src/version.c
@@ -704,6 +704,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    67,
 /**/
     66,
 /**/