Undo accidentally removed line in Makefile