MP3 decoder for gstreamer
