unset_unused.pl 0.3: fix problem with unset of options