Soundtool works. Also fix some small details in musictool.