je moet de codec niet downloaden van de website, dat zorgt er alleen maar voor da je onnodig veel moeite doet en dat je pakketsysteem overhoopt wordt gegooid. Heb je al eens een andere speler, zoals VLC, geprobeerd? VLC heeft heel veel codecs standaard ingebouwd.