After reboot, I started Sax2; and took the occasion to select an other Philips monitor type that seems to slightly better fit my present monitor type; and in the moment sax offered me the 1024x768 resolution. (Naturally I tried to set that monitor type before the reboot, but that setting has always been lost just like other settings, until I finally rebooted the machine)