Various: remove obsolete files