public ZealCpuDriver(string inputFile) : this(new AntlrFileStream(inputFile)) { SourceFilePath = Path.GetFullPath(inputFile); }