Makefile: tiny bit of cleanup