./devtools/dejagnu-1.3/input/Dejagnu.pkg
./devtools/dejagnu-1.3/input/Dejagnu.cmpnt