small cleanup
deleted a file on the filesystem but didn't tell git.