iset.pl 3.5: add new option "use_mute"