Re: Compilation errors in checkrad