Splint fixes in mp3 decoder.