mute_warn does not work anymore