diff --git a/src/time.c b/src/time.c
index 001f2d8121..75e7b2546f 100644
--- a/src/time.c
+++ b/src/time.c
@@ -501,8 +501,9 @@ check_due_timer(void)
     int		need_update_screen = FALSE;
     long	current_id = last_timer_id;
 
-    // Don't run any timers while exiting or dealing with an error.
-    if (exiting || aborting())
+    // Don't run any timers while exiting, dealing with an error or at the
+    // debug prompt.
+    if (exiting || aborting() || debug_mode)
 	return next_due;
 
     profile_start(&now);
diff --git a/src/version.c b/src/version.c
index e2b5023e35..44d849ef5b 100644
--- a/src/version.c
+++ b/src/version.c
@@ -750,6 +750,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    4035,
 /**/
     4034,
 /**/