a bit of Makefile streamlining