diff --git a/build/README.md b/build/README.md
index 98d87f1b83d272364e6cc595857261bf7d1ac83a..c48de2a81182dec1326e1b3364a25fc24c21d276 100644
--- a/build/README.md
+++ b/build/README.md
@@ -2,7 +2,15 @@
 
 This directory collects all the output of make builds.
 
-## Instructions
+## Developing notes
+
+The configurable version of the package introduces some execution wrappers. These raise no problems on a normal execution work-flow, but they affect debug executions. The correct way to perform a debug run, therefore, is to enter the folder where the executable program is and then issue:
+
+   > ../libtool --mode=execute DEBUGGER_NAME EXECUTABLE_NAME
+
+where `DEBUGGER_NAME` is the preferred debugger (e.g. `gdb`, `ddd` ...) and `EXECUTABLE_NAME` is the program to be debugged.
+
+## Instructions (deprecated)
 
 The original code produces output in the current working directory (the path where the code is executed from). The build directory is intended to collect local builds and test run output in a safe place, without cluttering the code development folders, thus helping `git` to filter out unnecessary logs through `.gitignore`.