tune naming
Makefile: implement check target