/etc/dejagnu/site.exp
