tools: Makefile: delete redundant lines