diff --git a/src/config.inc b/src/config.inc
index 95d61ffd3de..dd83d0dffa0 100644
--- a/src/config.inc
+++ b/src/config.inc
@@ -12,6 +12,9 @@ endif
 #CXXFLAGS += -O2 -DNDEBUG
 #CXXFLAGS += -O0 -g
 
+# With GCC this adds function names in stack backtraces
+#LINKFLAGS="-rdynamic"
+
 # If GLPK is available; this is used by goto-instrument and musketeer.
 #LIB_GLPK = -lglpk