diff --git a/src/normal.c b/src/normal.c
index b5b0448438..5634925513 100644
--- a/src/normal.c
+++ b/src/normal.c
@@ -4197,7 +4197,9 @@ normal_search(
 {
     int		i;
     searchit_arg_T sia;
+#ifdef FEAT_SEARCH_EXTRA
     pos_T	prev_cursor = curwin->w_cursor;
+#endif
 
     cap->oap->motion_type = MCHAR;
     cap->oap->inclusive = FALSE;
diff --git a/src/version.c b/src/version.c
index ecf846152b..740c32d482 100644
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    4725,
 /**/
     4724,
 /**/