Update C-boltz makefile