Deleted files that should not be there

Hopefully they will go away...