Makefile: add a check target