deleting some useless files for git