I just ran a dist-upgrade and somehow RealPlayer 10 is broken and won't even send debugging info to the terminal. Also Theme Preferences in Gnome- the window won't allow any horizontal resizing at all.