Keil MDK 5.32 - project setting "Operating System" not saved

I moved from 5.31 to 5.32 recently. I noticed that the project setting "Operating system" where you can select "None" or "RTX Kernel" was set to "None" in my projects. When setting them back to "RTX Kernel" and pressing "OK" the setting would not be saved. All projects I open in 5.32 has this same behavior.

I moved back to 5.31 and the setting now works as it should again.

Any idea ?

EDIT: Tried also 5.33, same behavior as 5.32 !

More questions in this forum