README_DEVELOPERS: change a few path names for consistency

diff --git a/README_DEVELOPERS b/README_DEVELOPERS
index a3360580ebd578594f13d082ec457d1776b584aa..fc5a80129576ccb344481b3c546d4a968e0a0df0 100644 (file)
--- a/README_DEVELOPERS
+++ b/README_DEVELOPERS
@@ -271,12 +271,12 @@ without too much problem by following these steps:
       export VALGRIND_LIB=$DIR/.in_place
 
     VALGRIND_LIB is where the default.supp and vgpreload_ libraries
-    are found (which is under /usr/libexec/valgrind for an installed
+    are found (which is under /usr/local/libexec/valgrind for an installed
     version).
 
 (2) Run gdb on the tool executable.  Eg:
 
-      gdb /usr/local/lib/valgrind/lackey-ppc32-linux
+      gdb /usr/local/libexec/valgrind/lackey-ppc32-linux
 
     or