diff --git a/rtgui/profilestore.cc b/rtgui/profilestore.cc
index 3dfdeed85..f0f152ef2 100644
--- a/rtgui/profilestore.cc
+++ b/rtgui/profilestore.cc
@@ -64,7 +64,8 @@ void ProfileStore::parseDir (const Glib::ustring& pdir) {
       if (!Glib::file_test (fname, Glib::FILE_TEST_IS_DIR)) {
         int lastdot = sname.find_last_of ('.');
         if (lastdot!=Glib::ustring::npos && lastdot<=sname.size()-4 && !sname.casefold().compare (lastdot, 4, paramFileExtension)) {
-          printf ("Processing file %s...\n", fname.c_str());
+          if( options.rtSettings.verbose )
+            printf ("Processing file %s...\n", fname.c_str());
           Glib::ustring name = sname.substr(0,lastdot);
           if (pparams.find(name)!=pparams.end()) {
             delete pparams[name];