Re: [PATCH] Switch to new gpsd API