Improvements in the Galileo RINEX printer