Unbreak dejagnu.
Minor update included.
Merge pull request #51 from pyhalov/dejagnu

Unbreak dejagnu.