This appears to be no longer necessary for the testsuite.