Bugfix 12123

Note: updates the IDE submodule pointer and may require merging the corresponding IDE branch (only text files were changed, no binary blobs).