Makefile: default toolchain and makefile tweaks