Don't attempt to install the GStreamer developer PPA when building on Ubuntu 13.10