fixes #22: write rx sequence numbers to a separate file