cvs commit: hugs98/tools prelude.patch