barbieri - that's fine news. A distribution problem is one I can deal with on my own, and gives hope that this will be sorted out in time. If not for the Nokia/Maemo repository problems at this point I'd already have put mplayer back on; I think I'll go that route for now.