Clean up "check-full" target in Makefile