add sourc ecode for Lean C on the Mac