K 10 svn:author V 7 patrick K 8 svn:date V 27 2002-02-07T14:03:15.000000Z K 7 svn:log V 110 Modify the port to use gnugetopt. Our standard getopt does not work. The developers are working to fix that. END