removing old filename from git.