Makefile: honour EXTRA_CFLAGS, etc.