Replace Makefile: previous git was wrong