fix #6354 (new repl doesn't complete built-ins)