It's smaller, but probably not faster, mpg123 is very concerned about speed too, it's full of assembler code inside so I doubt it's slower !
But I reverted to the old mp3 driver anyway... ! (I kept the mpg123 code commented in case it's useful again one day !)