Fix devel::repl startup warning