deGPS for linux