cvs commit: hugs98/src options.h.in hugs98/src/unix configure.in