Delete test_0801.tc~