[ros-dev] mplayer -- branded name?