makefile: different targets for cabal build and c build, selectable with DEFAULT_TARGET