Edzer J. Pebesma Tue, 14 Jan 2003 08:02:35 -0800
Please download 2.3.12 again, the problem should now be solved. -- Edzer