Index: trunk/FACT++/src/FACT.cc
===================================================================
--- trunk/FACT++/src/FACT.cc	(revision 11036)
+++ trunk/FACT++/src/FACT.cc	(revision 11037)
@@ -11,4 +11,6 @@
 
 #include <boost/filesystem.hpp>
+
+#include "tools.h"
 
 // --------------------------------------------------------------------------
@@ -45,7 +47,5 @@
 void FACT::PrintVersion(const char *name)
 {
-    std::string n = boost::filesystem::basename(name);
-    if (n.substr(0, 3)=="lt-")
-        n = n.substr(3);
+    const std::string n = boost::filesystem::path(name).filename();
 
     std::cout <<
Index: trunk/FACT++/src/ReadlineColor.cc
===================================================================
--- trunk/FACT++/src/ReadlineColor.cc	(revision 11036)
+++ trunk/FACT++/src/ReadlineColor.cc	(revision 11037)
@@ -14,4 +14,6 @@
 #include "WindowLog.h"
 
+#include "tools.h"
+
 using namespace std;
 
@@ -23,7 +25,5 @@
 bool ReadlineColor::PrintBootMsg(ostream &out, const string &name, bool interactive)
 {
-    string n = boost::filesystem::basename(name);
-    if (n.substr(0, 3)=="lt-")
-        n = n.substr(3);
+    const string n = boost::filesystem::path(name).filename();
 
     out << kBlue << kBold << kUnderline << "\n Master Control Program (compiled "__DATE__" " __TIME__ << ") " << endl;