change extension of output file