bugfix under linux: would not remember whether to look for updates or not and ended up asking each time