mp3recode: time formating