augmented even further the default REPL timeout