GPSTK (GPS development toolset) source code