support for modifying extension of outputted files