It seems update-glx does nothing without installing nvidia-driver. After that the screen resolution will work. Stretch on the same machine doesn’t need to explicitly install nvidia-driver.