now uses a different file extension/muxer for each video codec