some files  somehow disappeared from the repo, re-adding them