Delete gitgrep.install