Fix Dimacs tests.