svf2csvf: To XTDOMASK or not to XTDOMASK, that is the question...