Also, I noticed that I don't actually need to unplug the monitor in order to be able to set the native resolution. It's enough to turn the monitor off and back on, and then 3440x1440 is shown in the list of available resolutions and I can set it and use it.