Delete some files that should've been deleted in the last commit