git-rm a useless file