Remove corefile from git.