Oh. I did not know that. So what is the recommended way to update? I thought that the GUI updater is not very good (it times out often)?