More work on libgps FFI