GNOME3: the Music app does not place any buttons on the top bar