Fixed problem with makefiles which were leaving an important file out of the distribution tarball.