mpg123 decoder plugin for GStreamer