Fix a linking issue on macOS - #18

Fix a linking issue on macOS#18

zhengyao-lin wants to merge 4 commits into

digama0:maindigama0/lean-sys:mainfrom

zhengyao-lin:mainzhengyao-lin/lean-sys:mainCopy head branch name to clipboard