Mp3 gstreamer plugin from fluendo
