Is an MP3 encoder available for the STM32F733

The CubeMX samples have an MP3 encoder, but it appears to be a binary blob rather than source, and locked to certain chips & versions of the libraries. Is it possible to get the source or is a compiled version available for the STM32F733 / STM32F723?