Add a sourcefile argument to lang.run_section, so that we can use this in custom excepthook