[PATCH 07/13] Makefile: Remove unhelpful $(HEADERS) variable