switch build branch for mediaplayer extension to gnome-shell-3.8