Makefile: actually use BATCHC