modify REPL prompt