Try to fix repl test on linux