GPS positioning under Linux