cmdline bug fix: avoid complaining about 'error in reading input' when executing code from a file