r24610: Add a debug message that the workaround has been activated...