20070720 tech: Nokia speeds up GPS