The file KNOWN.BUGS removed