some files missing from Github repo?