Toplevel: remove call to deprecated Lwt_unix.run function