discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;