Xubuntu was gesneuveld toen er een video-codec moest veranderd worden,'t gebeurd dan via de terminal.