mp3 format for intel xdk