Fixed CHERI SDK output path link