This is gnome-media 2.13.7 Changes since 2.13.6: * fix simple compilation error