gstreamer-0.10 shine mp3 encode plugin