added support for Marc2013, which is now default in apply_DAMASK_modifications
our installations will be updated one by one, so watch out for the new menu!