changed name of configuration file as we not only use it anymore for
open-source tools, but also for commercial ones