New: record the source filename in SyntaxError.