Only install GStreamer PPA on Ubuntu 12.04