MP3 encoder plugin for GStreamer
