Tweak astro/gpsd version 3.9