more modest makefile cleanups (checkall/make check)