I would choose “Current profile of the monitor”, as the calibration software should generate and set a profile for the operating system.
I had pretty much hazzle regarding color profiles, too:
https://forum.dxo.com/t/jpg-export-looks-different-than-preview/10616