public void EvalFile(string filename)
{
filename = EnsureExtension(filename);
var ctx = _ctx.rawValue;
var source = _fileResolver.ReadAllBytes(filename);
EvalSource(filename, source);
}