* for minc_label_ops, added the possibility to specify a range of labels to be remapped onto one new label, e.g., you can specify --remap 3-15:40 which will map all values 3,4,5...,15 to 40