seisan waveforms: make seisan.l and seisan.b formats actually work