since Lwt_unix.sleep is supposed to be efficient, simplified greatly the code!