systemImage="debian10.system"
  coriolisImage="debian10.coriolis"
      bashImage="debian10.bash"