Makefile: use different CONFIG_CC