gnu debuger config file