repl: restore old windows history file path (fixes #6350)