Updating main to pass REPL options