Come tagliare un video con VLC ed esportarlo come MP4?

sto usando questo metodo per tagliare un video con VLC (2.0.4) senza transcodifica. In pratica, si utilizza il pulsante di registrazione rosso e il video tagliato verrà esportato nella cartella dei video predefinita. Il tutorial mostra un file MP4 che verrà creato, ma il mio è ASF per qualche motivo. Il mio video è un po 'sfarfallio, che sospetto provenga dal formato contenitore ASF obsoleto. Come faccio invece ad esportare come MP4 convenzionale?