bugs are now available on github and should be managed there rather than in the old BUGS file