svoid PKI_resetComputerKeyPair() {
  deleteFile(PKI.getStandardPublicKeyPath());
  deleteFile(PKI.getStandardPrivateKeyPath());
}