[Bug 811745] New: MP3 codec for GStreamer 1.0 missing in 12.3 release