Tweak "check-all" target in Makefile