add BUGS.txt to keep track of bugs