mp3dec: Fix reading file size and frames in VBRI headers