svoid stefansPS_vncToRaspi() {
  File exe = assertNotNull(windowsFindExe("RealVNC/VNC Viewer/vncviewer"));
  nohup(platformQuote(exe) + " -config " + platformQuote(javaxDataDir("RealVNC Profiles/raspi.vnc"));
}