Warning: Do not delete system files.
Bad things will probably ensue.
Thankfully, there’s a way that you could get around this.
For this, we’ll use the command line.
To take ownership of the file, you’ll need to use the takeown command.
At this point, you should be able to delete the file.
