gnupro/dejagnu/config
