diff --git a/benchmarks/dbs/files/patch-ag b/benchmarks/dbs/files/patch-ag
new file mode 100644
index 000000000000..6353e42e5946
--- /dev/null
+++ b/benchmarks/dbs/files/patch-ag
@@ -0,0 +1,11 @@
+--- src/tcp_trace.c--	Thu Nov  2 23:00:13 2000
++++ src/tcp_trace.c	Thu Nov  2 23:00:33 2000
+@@ -307,7 +307,7 @@
+ #ifdef _PATH_UNIX
+     system = _PATH_UNIX;
+ #else    
+-    system = "/vmunix";
++    system = "/kernel";
+ #endif
+ #endif
+