gnome-shell 3.6 support; refactor as a supplemental widget instead of hacking labels directly