It slipped by me at the time[1], but cgf asked if I could update dejagnu, so here it is: ftp://ftp.cygwinports.org/pub/cygwinports/release-2/dejagnu/ Yaakov [1] http://cygwin.com/ml/cygwin/2012-04/msg00649.html