Fixed output path of CHERI SDK binutils