added back test-full9.out went missing