diff --git a/src/time.c b/src/time.c
index 001f2d8..75e7b25 100644
--- a/src/time.c
+++ b/src/time.c
@@ -501,8 +501,9 @@
     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 e2b5023..44d849e 100644
--- a/src/version.c
+++ b/src/version.c
@@ -751,6 +751,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    4035,
+/**/
     4034,
 /**/
     4033,