Removed a deprecated file