gpsd — a GPS service daemon