get_mp3file_info(): Use the correct printf format in DEBUGF()