Re: [armedbear] #415: Fixes to compiler to record source information