Build Instructions for MP3 Player for producing a binary for the bin loader

this is not an answer to what you’re looking for exactly, but the current recommendation is to ditch the stock bin loader altogether and use the UF2 Loader release which can work with standard UF2 firmware that doesn’t need special compilation