deleted files not needed on GitHub