Really remove obsolete files