Throw SourceErrors instead of ProgramErrors in main/HeaderInfo.