Delete knownbugs.txt~