The RINEX printer now produces Galileo files that can be processed by
RTKLIB