Why do we want to include the makefile in the distribution?