Fix core/shutdown to properly detect --repl switch in *options*