svoid PKI_resetComputerKeyPair() {
  deleteFile(PKI.getStandardPublicKeyPath());
  deleteFile(PKI.getStandardPrivateKeyPath());
  print("Computer keys DELETED");
}