I'll check that, but how exactly aren't they working now? Did you upgrade and reset the profiles? Do you have the extra decoders package installed? If VLC has problems transcoding them to h264, try creating a new profile with the old mp2v and mp2a video/audio codecs and add mplayer to the player field if you want to use mplayer instead. Most problems should be fixable with custom profiles and two different player options.

And I hope MPEG-LA doesn't sue me for using h264 in the default profiles.