Remove obsolete files

Should have been renamed in previous commit