buildsys_fix_dejagnu_workaround
