Index: /trunk/FACT++/src/Readline.cc
===================================================================
--- /trunk/FACT++/src/Readline.cc	(revision 11037)
+++ /trunk/FACT++/src/Readline.cc	(revision 11038)
@@ -62,4 +62,6 @@
 #include <readline/history.h>
 
+#include <boost/filesystem.hpp>
+
 #include "tools.h"
 
@@ -106,5 +108,6 @@
 
     // Program name
-    rl_readline_name = prgname;
+    static const string fname = boost::filesystem::path(prgname).filename();
+    rl_readline_name = fname.c_str();
 
     // Compile filename for history file