Delete some files that snuck into git.