Disable REPL by default