Work around dejagnu/clang problems
1 file changed