Remove an unwanted file from git