add ~/.dejagnurc and export DEJAGNU in ~/.bashrc