added initialize-defaults function to REPL server, instead of automatically doing so