fix redundancies in Makefile