Don't fall back on adding backup names with an explicit Names instance when using --isabelle-mode