other than videoredo tv4, is there a free software program to NOT re-encode but basically get the extension/file type changed?