Workaround for #1084791 part 2
The previous commit did not work properly. Now output is generated that shows whether the workaround has been applied or needs to be removed again.
The previous commit did not work properly. Now output is generated that shows whether the workaround has been applied or needs to be removed again.