Makefile: DIFF_OBJS is not special at all these days