add a BUGS.txt file