Bumped REPL version