Added comand-line options -debugFile (as synonym for -nameOfDebugFile, as