more robust: avoid expand_path, which requires "bin/isabelle getenv"; more concise: just one ssh command; more thorough: delete etc/preferences as well;