Makefile now doesn't fetch files that are not modified. (except for github...