WINTERMUTE: Remove unnecessary const_cast