dejagnu-timeout.diff
