When receiving SBP messages using libsbp java client and then printing the JSON of received SbpMessages to a file, it is impossible to use sbp2rinex on this file. This happens because the toJson method does not include the CRC field on the output being impossible to generate a valid rinex.