Deleted some files

Not quite sure how that happened but it was probably time for them to go
anyway...