modify gps_ephemeris.py