undo part of 91771850fb5403625c0eddbfb8b8522a717cadc9 (need Fink::CLI::prompt_selection)